Revision: tla-tools--devo--0--patch-3
Archive: miles@gnu.org--gnu-2004
Creator: Miles Bader <miles@gnu.org>
Date: Tue Dec 30 18:14:48 JST 2003
Standard-date: 2003-12-30 09:14:48 GMT
Modified-files: cmd-line.shpp hdr.shpp tla-cvs-sync.shpp
New-patches: miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-3
Summary: Use exported env variable TLA_TOOL_PFX for tla-tools prefix

